منابع مشابه
Sound objects – Auditory objects – Musical objects
The what, where and how of auditory-object perception " , Nature Reviews Neuro-science 14 (2013).
متن کاملHigher order architecture of collections of objects
We show that on an arbitrary collection of objects there is a wide variety of higher order architectures governed by hyperstructures. Higher order gluing, local to global processes, fusion of collections, bridges and higher order types are discussed. We think that these types of architectures may have interesting applications in many areas of science.
متن کاملPrototyping Relational Specifications Using Higher-Order Objects
An approach is described for the generation of certain mathematical objects (like sets, correspondences, mappings) in terms of relations using relation-algebraic descriptions of higher-order objects. From non-constructive characterizations executable relational speciications are obtained. We also show how to develop more eecient algorithms from the frequently ineecient speciications within the ...
متن کاملObjects in Higher-order Concurrentconstraintprograming with State
Concurrent constraint programming (ccp) languages allow to express concurrency on a clean semantic base. Since objects are an attractive abstraction for describing concurrent activity, it was the goal of several ccp languages to provide object-oriented programming (oop). The traditional way to express the notion of objects in ccp languages is by describing an object as the consumer of a communi...
متن کاملA Higher-Order Embedding of a Logic of Objects
We present an implementation of a program logic of objects, extending that (AL) of Abadi and Leino. In particular, the implementation uses higher-order abstract syntax (HOAS) and—unlike previous approaches using HOAS—at the same time uses the built-in higher-order logic of the theorem prover to formulate specifications. We give examples of verifications, extending those given in [1], that have ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Rivista di estetica
سال: 2017
ISSN: 0035-6212,2421-5864
DOI: 10.4000/estetica.2948